Marking estimation of Petri nets with pairs of nondeterministic transitions∗
نویسندگان
چکیده
We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be represented by a linear system with a fixed structure that does not depend on the length of the observed word.
منابع مشابه
State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions∗
In this paper we deal with the problem of estimating the marking of a labeled Petri net with nondeterministic transitions. In particular, we consider the case in which nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. Under the assumption that: the structure of the net is known, the initial marking is known, the transition lab...
متن کاملMarking Estimation of Petri Nets with Λ-free Labeling
We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be repre...
متن کاملMarking Estimation of Petri Nets based on Partial Observation
We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be repre...
متن کاملMarking Estimation of Petri Nets with Arbitrary Transition Labeling
In this paper we deal with the problem of estimating the marking of an arbitrary labeled Petri net system where two forms of nondeterminism may occur. Firstly, there may exist unobservable transitions, i.e., transitions labeled with the empty string. Secondly, there may exist undistinguishable transitions, i.e., two or more transitions sharing the same symbol taken from a given alphabet E may s...
متن کاملFiring Sequences Estimation for Timed Petri Nets
This work deals with the firing sequences estimation for transitions timed Petri nets by measurement of the places marking. Firing durations are unknown, but supposed not to be null. In fact, the Petri net marking is measured, on line, with a sampling period ∆t small enough such that each transition is fired, at the most, one time during ∆t. The estimation problem has exact and approximated sol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004